Logics for Knowledge Representation
نویسنده
چکیده
Knowledge representation and reasoning plays a central role in Artificial Intelligence. Research in Artificial Intelligence (henceforth AI) started off by trying to identify the general mechanisms responsible for intelligent behavior. However, it quickly became obvious that general and powerful methods are not enough to get the desired result, namely, intelligent behavior. Almost all tasks a human can perform which are considered to require intelligence are also based on a huge amount of knowledge. For instance, understanding and producing natural language heavily relies on knowledge about the language, about the structure of the world, about social relationships etc.
منابع مشابه
Description Logics: Foundations for Class-based Knowledge Representation
Class-based languages express knowledge in terms of objects and classes, and have inspired a huge number of formalisms in computer science. Description logics form a family of both class-based and logic-based knowledge representation languages which allow for modeling an application domain in terms of objects, classes and relationships between classes, and for reasoning about them. This paper p...
متن کاملNon-Classical Logics for Knowledge Representation and Reasoning
We briefly outline our research activity, started in the 90s, in the field of non-classical logics. In particular, we describe our activity on the use of non-classical logics for knowledge representation and on proof methods for non-monotonic and conditional logics.
متن کاملLogic-Based Knowledge Representation
After a short analysis of the requirements that a knowledge representation language must satisfy, we introduce Description Logics, Modal Logics, and Nonmonotonic Logics as formalisms for representing terminological knowledge, time-dependent or subjective knowledge, and incomplete knowledge respectively. At the end of each section, we brieey comment on the connection to Logic Programming.
متن کاملRelationships with other Formalisms
In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issues or not. We concentrated on those representation formalisms that either (1) had or have a strong influence on Description Logics (e.g., modal logics), (2) are closely related to Description Logics for historical reas...
متن کاملParaconsistent Logics in Artiicial Intelligence and Robotics
This papers presents some ideas on using paraconsistent and overcomplete logics to represent and to reason about knowledge in Ar-tiicial Intelligence systems. Since one our main research areas is related to robotics and manufacturing systems, we focus our attention on those logics and problems relevant to this area. We review the fundamental concepts deening paraconsistency and over-completenes...
متن کاملMinimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency
Paradefinite (‘beyond the definite’) logics are logics that can be used for handling contradictory or partial information. As such, paradefinite logics should be both paraconsistent and paracomplete. In this paper we consider the simplest semantic framework for defining paradefinite logics, consisting of four-valued matrices, and study the better accepted logics that are induced by these matric...
متن کامل